Program Repair by Stepwise Correctness Enhancement
نویسندگان
چکیده
منابع مشابه
Program Repair by Stepwise Correctness Enhancement
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect), relative correctness arranges candidate programs on the richer structure of a partial ordering. In other venues we discuss the impact of relative ...
متن کاملA Methodology for Program Construction by Stepwise Structural Enhancement
We advocate incremental construction of programs based on the idea of skeletons and techniques. Program construction begins bottom-up by rst identifying skeleton program(s) embodying the central data structure(s), and proceeds by building computations around the control ow of the skeleton program(s) by application of techniques. Techniques are high level abstractions for the generic, frequently...
متن کاملSoftware Evolution by Correctness Enhancement
Relative correctness is the property of a program to be more-correct than another with respect to a specification; this property enables us to rank candidate programs in a partial ordering structure whose maximal elements are the correct programs. Whereas traditionally we think of program derivation as a process of successive correctnesspreserving transformations (using refinement) starting fro...
متن کاملProgram Derivation by Correctness Enhancements
Relative correctness is the property of a program to be morecorrect than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ′ refines program P if and only if P ′ is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by s...
متن کاملProgram Derivation by Correctness Enhacements
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P′ refines program P if and only if P′ is morecorrect than P with respect to any specification. This inspires us to reconsider program derivation by suc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.208.1